$\forall$${\it the\_w}$:World, $e$:E. act($e$) $\in$ \{$a$:Action(loc($e$))$\mid$ $\neg$isnull($a$) \}